- unexecutable
- adj.
Useful english dictionary. 2012.
unexecutable
Look at other dictionaries:
unexecutable — adj. * * * … Universalium
Promela — (Process or Protocol Meta Language) is a verification modeling language. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be … Wikipedia
